Ritu Chadha: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

On the mechanical derivation of loop invariants

Ritu Chadha, David A. Plaisted

Journal:

Journal of Symbolic Computation

Year:

1993

Language:

english

File:

PDF, 2.23 MB

english, 1993

2

[IEEE 2008 International Symposium on a World of Wireless, Mobile and Multimedia Networks (WOWMOM) - Newport Beach, CA, USA (2008.06.23-2008.06.26)] 2008 International Symposium on a World of Wireless, Mobile and Multimedia Networks - MANET management: Industry challenges & potential solutions

Kant, Latha, Chadha, Ritu

Year:

2008

Language:

english

File:

PDF, 320 KB

english, 2008

3

An Automated Method for Counting Red Blood Cells using Image Processing

Chadha, Gulpreet Kaur, Srivastava, Aakarsh, Singh, Abhilasha, Gupta, Ritu, Singla, Deepanshi

Journal:

Procedia Computer Science

Year:

2020

File:

PDF, 791 KB

2020

4

[IEEE MILCOM 2011 - 2011 IEEE Military Communications Conference - Baltimore, MD, USA (2011.11.7-2011.11.10)] 2011 - MILCOM 2011 Military Communications Conference - Using an adaptive management plane for policy-based network management traffic in MANETs

Wolberg, Michelle, Chadha, Ritu, Chiang, C. Jason, Kurachik, Kathleen, Pang, Marcus, Hadynski, Gregory

Year:

2011

Language:

english

File:

PDF, 619 KB

english, 2011

5

[IEEE MILCOM 2011 - 2011 IEEE Military Communications Conference - Baltimore, MD, USA (2011.11.7-2011.11.10)] 2011 - MILCOM 2011 Military Communications Conference - QAM: A comprehensive QoS-aware Middleware suite for tactical communications

Poylisher, Alex, Sultan, Florin, Ghosh, Abhrajit, Li, Shi-wei, Chiang, C. Jason, Chadha, Ritu, Moeltner, Kimberly, Jakubowski, Kim

Year:

2011

Language:

english

File:

PDF, 414 KB

english, 2011

6

[IEEE MILCOM 2010 - 2010 IEEE Military Communications Conference - San Jose, CA, USA (2010.10.31-2010.11.3)] 2010 - MILCOM 2010 MILITARY COMMUNICATIONS CONFERENCE - Distributed diagnosis of network faults and performance problems for tactical military networks

Nodine, Marian, Levin, Gary, Kurachik, Kathleen, Woelk, Darrell, Lin, Yow-Jian, Chadha, Ritu, Chiang, Jason, Moeltner, Kimberly, Kumar, Yogeeta, Ali, Syeed, Bauer, Rocio

Year:

2010

Language:

english

File:

PDF, 135 KB

english, 2010

7

[IEEE MILCOM 2010 - 2010 IEEE Military Communications Conference - San Jose, CA, USA (2010.10.31-2010.11.3)] 2010 - MILCOM 2010 MILITARY COMMUNICATIONS CONFERENCE - Cognitive Radio Rides on the Cloud

Ge, Feng, Lin, Heshan, Khajeh, Amin, Chiang, C. Jason, Ahmed, M. Eltawil, Charles, W. Bostian, Feng, Wu-chun, Chadha, Ritu

Year:

2010

Language:

english

File:

PDF, 134 KB

english, 2010

8

[IEEE MILCOM 2010 - 2010 IEEE Military Communications Conference - San Jose, CA, USA (2010.10.31-2010.11.3)] 2010 - MILCOM 2010 MILITARY COMMUNICATIONS CONFERENCE - Realistic modeling of tactical networks with multi-level security in VAN testbeds

Poylisher, Alex, Lu, Taichuan, Serban, Constantin, Lee, John, Chadha, Ritu, Chiang, Cho-Yu Jason, Jakubowski, Kimberly, Whittaker, Keith, Bauer, Rocio

Year:

2010

Language:

english

File:

PDF, 122 KB

english, 2010

9

[IEEE MILCOM 2010 - 2010 IEEE Military Communications Conference - San Jose, CA, USA (2010.10.31-2010.11.3)] 2010 - MILCOM 2010 MILITARY COMMUNICATIONS CONFERENCE - Managing network security policies in tactical MANETs using DRAMA

Cheng, Yuu-Heng, Ghosh, Abhrajit, Chadha, Ritu, Gary, M. Levin, Wolberg, Michelle, Chiang, C. Jason, Hadynski, Gregory

Year:

2010

Language:

english

File:

PDF, 2.07 MB

english, 2010

10

[IEEE MILCOM 2008 - 2008 IEEE Military Communications Conference (MILCOM) - San Diego, CA, USA (2008.11.16-2008.11.19)] MILCOM 2008 - 2008 IEEE Military Communications Conference - Building a versatile testbed for supporting testing and evaluation of tactical network management tools and their interoperability

Chiang, Cho-Yu Jason, Chadha, Ritu, Newman, Scott, Orlando, Robert, Jakubowski, Kim, Kumar, Yogeeta, Lo, Richard

Year:

2008

Language:

english

File:

PDF, 232 KB

english, 2008

11

[IEEE MILCOM 2008 - 2008 IEEE Military Communications Conference (MILCOM) - San Diego, CA, USA (2008.11.16-2008.11.19)] MILCOM 2008 - 2008 IEEE Military Communications Conference - Computing diagnostic explanations of network faults from monitoring data

Baker, Donald, Nodine, Marian, Chadha, Ritu, Chiang, C. Jason, Gottlieb, Yitzchak, Hsu, C.-P. Flossie, Jaeger, Robert, Levin, Gary, Yibei Ling,

Year:

2008

Language:

english

File:

PDF, 1.61 MB

english, 2008

12

[IEEE MILCOM 2008 - 2008 IEEE Military Communications Conference (MILCOM) - San Diego, CA, USA (2008.11.16-2008.11.19)] MILCOM 2008 - 2008 IEEE Military Communications Conference - Cross-layer QOS design: Overcoming QOS-unaware slot allocation

Yow-Jian Lin,, Chennikara-Varghese, Jasmine, Gannett, Joel, Lee, John, Serban, Constantin, Chadha, Ritu, Chiang, Cho-Yu Jason, Newman, Scott, Lo, Richard, Izzo, William

Year:

2008

Language:

english

File:

PDF, 308 KB

english, 2008

13

[IEEE MILCOM 2010 - 2010 IEEE Military Communications Conference - San Jose, CA, USA (2010.10.31-2010.11.3)] 2010 - MILCOM 2010 MILITARY COMMUNICATIONS CONFERENCE - QoS-aware Adaptive Middleware (QAM) for tactical MANET applications

Ghosh, Abhrajit, Li, Shih-wei, Chiang, C. Jason, Chadha, Ritu, Moeltner, Kimberly, Ali, Syeed, Kumar, Yogeeta, Bauer, Rocio

Year:

2010

Language:

english

File:

PDF, 820 KB

english, 2010

14

Modular natural language interfaces to logic-based policy frameworks

Perry, Jason, Arkoudas, Konstantine, Chiang, Jason, Chadha, Ritu, Apgar, Daniel, Whittaker, Keith

Journal:

Computer Standards & Interfaces

Year:

2013

Language:

english

File:

PDF, 1.67 MB

english, 2013

15

[IEEE 2006 International Conference on Systems and Networks Communications (ICSNC'06) - Tahiti (2006.10.29-2006.11.3)] 2006 International Conference on Systems and Networks Communications (ICSNC'06) - Beyond the Hype: Policies for Military Network Operations

Year:

2006

Language:

english

File:

PDF, 143 KB

english, 2006

16

[IEEE MILCOM 2007 - IEEE Military Communications Conference - Orlando, FL, USA (2007.10.29-2007.10.31)] MILCOM 2007 - IEEE Military Communications Conference - Integrated Network Operations for Future Army Tactical Networks

Chiang, Cho-Yu Jason, Chadha, Ritu, Newman, Scott, Lo, Richard, Bauer, Rocio

Year:

2007

Language:

english

File:

PDF, 1.28 MB

english, 2007

17

[IEEE MILCOM 2009 - 2009 IEEE Military Communications Conference - Boston, MA, USA (2009.10.18-2009.10.21)] MILCOM 2009 - 2009 IEEE Military Communications Conference - Issues with and approaches to network monitoring and problem remediation in military tactical networks

Nodine, Marian, Baker, Donald, Chadha, Ritu, Chiang, Cho-Yu Jason, Moeltner, Kimberly, D'Silva, Thomas, Kumar, Yogeeta

Year:

2009

Language:

english

File:

PDF, 4.14 MB

english, 2009

18

[IEEE MILCOM 2009 - 2009 IEEE Military Communications Conference - Boston, MA, USA (2009.10.18-2009.10.21)] MILCOM 2009 - 2009 IEEE Military Communications Conference - Virtual Ad hoc Network testbeds for high fidelity testing of tactical network applications

Poylisher, Alex, Serban, Constantin, Lee, John, Lu, Ted, Chadha, Ritu, Chiang, Cho-Yu J., Jakubowski, Kimberly, Orlando, Robert

Year:

2009

Language:

english

File:

PDF, 8.41 MB

english, 2009

19

[IEEE MILCOM 2006 - Washington, DC, USA (2006.10.23-2006.10.25)] MILCOM 2006 - QoS Mechanisms for Opaque MANETs

Poylisher, Alex, Anjum, Farooq, Kant, Latha, Chadha, Ritu

Year:

2006

Language:

english

File:

PDF, 9.17 MB

english, 2006

20

[IEEE MILCOM 2007 - IEEE Military Communications Conference - Orlando, FL, USA (2007.10.29-2007.10.31)] MILCOM 2007 - IEEE Military Communications Conference - An Automated Policy Generation System for Mobile Ad Hoc Networks

Chiang, Cho-Yu J., Levin, Gary, Gottlieb, Yitzchak M., Chadha, Ritu, Li, Shihwei, Poylisher, Alex, Newman, Scott, Lo, Richard, Izzo, William

Year:

2007

Language:

english

File:

PDF, 755 KB

english, 2007

21

[IEEE MILCOM 2006 - Washington, DC, USA (2006.10.23-2006.10.25)] MILCOM 2006 - A Cautionary Note About Policy Conflict Resolution

Year:

2006

Language:

english

File:

PDF, 239 KB

english, 2006

22

[IEEE MILCOM 2007 - IEEE Military Communications Conference - Orlando, FL, USA (2007.10.29-2007.10.31)] MILCOM 2007 - IEEE Military Communications Conference - MOSS: Gathering Names in Networks of Mobile Nodes

Gottlieb, Yitzchak M., Chadha, Ritu, Cheng, Kong Eng

Year:

2007

Language:

english

File:

PDF, 95 KB

english, 2007

23

[IEEE MILCOM 2006 - Washington, DC, USA (2006.10.23-2006.10.25)] MILCOM 2006 - Performance Analysis of Drama: A Distributed Policy-Based System for Manet Management

Chiang, Cho-yu, Demers, Stephanie, Gopalakrishnan, Praveen, Kant, Latha, Poylisher, Alex, Cheng, Yuu-heng, Chadha, Ritu, Levin, Gary, Li, Shihwei, Ling, Yibei, Newman, Scott, LaVergne, Lorraine, Lo, R

Year:

2006

Language:

english

File:

PDF, 329 KB

english, 2006

24

[IEEE MILCOM 2006 - Washington, DC, USA (2006.10.23-2006.10.25)] MILCOM 2006 - Towards Automation of Management and Planning for Future Military Tactical Networks

Chiang, Cho-yu, Chadha, Ritu, Newman, Scott, Lo, Richard

Year:

2006

Language:

english

File:

PDF, 367 KB

english, 2006

25

[IEEE MILCOM 2009 - 2009 IEEE Military Communications Conference - Boston, MA, USA (2009.10.18-2009.10.21)] MILCOM 2009 - 2009 IEEE Military Communications Conference - Gateway selection in multitiered mobile ad hoc networks

Gottlieb, Yitzchak M., Siun-Chuon Mau,, Chiang, C. Jason, Chadha, Ritu, Moeltner, Kimberly, D'Silva, Thomas, Kumar, Yogeeta

Year:

2009

Language:

english

File:

PDF, 127 KB

english, 2009

26

[IEEE MILCOM 2016 - 2016 IEEE Military Communications Conference (MILCOM) - Baltimore, MD, USA (2016.11.1-2016.11.3)] MILCOM 2016 - 2016 IEEE Military Communications Conference - ACyDS: An adaptive cyber deception system

Chiang, Cho-Yu J., Gottlieb, Yitzchak M., Shridatt James Sugrim,, Chadha, Ritu, Serban, Constantin, Poylisher, Alex, Marvel, Lisa M., Santos, Jonathan

Year:

2016

Language:

english

File:

PDF, 873 KB

english, 2016

27

Deceiving Network Reconnaissance using SDN-based Virtual Topologies

Achleitner, Stefan, La Porta, Thomas, McDaniel, Patrick, Sugrim, Shridatt, Krishnamurthy, Srikanth V., Chadha, Ritu

Journal:

IEEE Transactions on Network and Service Management

Year:

2017

Language:

english

File:

PDF, 1.84 MB

english, 2017

28

Integrated network experimentation for QoS measurements in opaque MANETs

Pratik K. Biswas, Alex Poylisher, Ritu Chadha, Abhrajit Ghosh

Journal:

International Journal of Network Management

Year:

2010

Language:

english

File:

PDF, 1.91 MB

english, 2010

29

Correctness of unification without occur check in prolog

Ritu Chadha, David A. Plaisted

Journal:

The Journal of Logic Programming

Year:

1994

Language:

english

File:

PDF, 1.83 MB

english, 1994

30

C3H4: density functional (DFT) study of structures and stabilities of isomers

Rita Kakkar, Ritu Garg, Preeti Chadha

Journal:

Journal of Molecular Structure: THEOCHEM

Year:

2002

Language:

english

File:

PDF, 105 KB

english, 2002

31

Policy-Driven Mobile Ad hoc Network Management (Chadha/Ad hoc Network) || Security Management

Chadha, Ritu, Kant, Latha

Year:

2007

Language:

english

File:

PDF, 856 KB

english, 2007

32

[IEEE 2012 IEEE International Symposium on Policies for Distributed Systems and Networks - POLICY - Chapel Hill, NC, USA (2012.07.16-2012.07.18)] 2012 IEEE International Symposium on Policies for Distributed Systems and Networks - Automated Policy Analysis

Arkoudas, Konstantine, Loeb, Shoshana, Chadha, Ritu, Chiang, Jason, Whittaker, Keith

Year:

2012

Language:

english

File:

PDF, 425 KB

english, 2012

33

[IEEE 2009 IEEE International Symposium on Policies for Distributed Systems and Networks - POLICY - London, UK (2009.07.20-2009.07.22)] 2009 IEEE International Symposium on Policies for Distributed Systems and Networks - Enabling Distributed Management for Dynamic Airborne Networks

Chiang, Cho-Yu J., Levin, Gary, Li, Shihwei, Serban, Constantin, Wolberg, Michelle, Chadha, Ritu, Hadynski, Gregory, LaBarre, Lee

Year:

2009

Language:

english

File:

PDF, 446 KB

english, 2009

34

[IEEE MILCOM 2012 - 2012 IEEE Military Communications Conference - Orlando, FL, USA (2012.10.29-2012.11.1)] MILCOM 2012 - 2012 IEEE Military Communications Conference - Building an operation support system for a fast reconfigurable network experimentation testbed

Poylisher, Alexander, Gottlieb, Yitzchak M., Serban, Constantin, Whittaker, Keith, Nguyen, James, Scilla, Chris, Lee, John, Sultan, Florin, Chadha, Ritu, Chiang, Cho-Yu Jason

Year:

2012

Language:

english

File:

PDF, 98 KB

english, 2012

35

[IEEE MILCOM 2012 - 2012 IEEE Military Communications Conference - Orlando, FL, USA (2012.10.29-2012.11.1)] MILCOM 2012 - 2012 IEEE Military Communications Conference - Policy-based spectrum management architecture

Boksiner, Jeffrey, Posherstnik, Yuriy, McDonald, Howard, Arkoudas, Konstantine, Chadha, Ritu, Chiang, C. Jason, Mody, Apurva, Sherman, Matthew

Year:

2012

Language:

english

File:

PDF, 805 KB

english, 2012

36

[IEEE MILCOM 2012 - 2012 IEEE Military Communications Conference - Orlando, FL, USA (2012.10.29-2012.11.1)] MILCOM 2012 - 2012 IEEE Military Communications Conference - Detecting communication anomalies in tactical networks via graph learning

Vashist, Akshay, Chadha, Ritu, Kaplan, Michael, Moeltner, Kimberly

Year:

2012

Language:

english

File:

PDF, 740 KB

english, 2012

37

[IEEE MILCOM 2012 - 2012 IEEE Military Communications Conference - Orlando, FL, USA (2012.10.29-2012.11.1)] MILCOM 2012 - 2012 IEEE Military Communications Conference - TimeSync: Virtual time for scalable, high-fidelity hybrid network emulation

Sultan, Florin, Poylisher, Alex, Serban, Constantin, John Lee, Ritu Chadha, Chiang, C. Jason

Year:

2012

Language:

english

File:

PDF, 636 KB

english, 2012

38

Gelatinous transformation of bone marrow following the use of dasatinib in a patient with philadelphia chromosome-positive acute lymphoblastic leukemia

Sharma, Sanjeev Kumar, Choudhary, Dharma, Handoo, Anil, Kharya, Gaurav, Gupta, Nitin, Pavecha, Punita, Chadha, Ritu

Journal:

Leukemia Research Reports

Year:

2013

Language:

english

File:

PDF, 338 KB

english, 2013

39

[IEEE 2009 5th International Conference on Testbeds and Research Infrastructures for the Development of Networks & Communities and Workshops - Washington, DC, USA (2009.04.6-2009.04.8)] 2009 5th International Conference on Testbeds and Research Infrastructures for the Development of Networks & Communities and Workshops - An integrated testbed for Virtual Ad Hoc Networks

Biswas, Pratik K., Serban, Constantin, Poylisher, Alex, Lee, John, Mau, Siun-Chuon, Chadha, Ritu, Chiang, Cho-Yu J., Orlando, Robert, Jakubowski, Kimberly

Year:

2009

Language:

english

File:

PDF, 469 KB

english, 2009

40

[IEEE 2010 International Conference on Machine Learning and Applications (ICMLA) - Washington, DC, USA (2010.12.12-2010.12.14)] 2010 Ninth International Conference on Machine Learning and Applications - Predicting End-to-end Network Load

Vashist, Akshay, Mau, Siun-Chuon, Poylisher, Alexander, Chadha, Ritu, Ghosh, Abhrajit

Year:

2010

Language:

english

File:

PDF, 267 KB

english, 2010

41

[IEEE Comput. Soc. Press IEEE International Workshop on System Management - Toronto, Ont., Canada (19-21 June 1996)] Proceedings of IEEE International Workshop on System Management - Managing distributed systems using OSI systems management

Ritu Chadha,, Sze-Ying Wuu,

Year:

1996

Language:

english

File:

PDF, 895 KB

english, 1996

42

[IEEE 2011 IFIP/IEEE International Symposium on Integrated Network Management (IM 2011) - Dublin, Ireland (2011.05.23-2011.05.27)] 12th IFIP/IEEE International Symposium on Integrated Network Management (IM 2011) and Workshops - Leveraging social network for predicting demand and estimating available resources for communication network management

Vashist, Akshay, Mau, Siun-Chuon, Poylisher, Alexander, Chadha, Ritu, Ghosh, Abhrajit

Year:

2011

Language:

english

File:

PDF, 878 KB

english, 2011

43

Cationic Cobaltammines as anion receptors: a convenient synthesis, characterization and X-ray structure of [CO(NH 3 ) 6 ]ClSeO 4 ·3H 2 O

Sharma, Raj Pal, Bala, Ritu, Sharma, Rajni, Bhasin, Kuldeep Kumar, Chadha, Raj Kumar

Journal:

Journal of Coordination Chemistry

Year:

2004

Language:

english

File:

PDF, 210 KB

english, 2004

44

[IEEE 2008 IEEE Workshop on Policies for Distributed Systems and Networks - POLICY - Palisades, NY, USA (2008.06.2-2008.06.4)] 2008 IEEE Workshop on Policies for Distributed Systems and Networks - PBNM Technology Evaluation: Practical Criteria

Poylisher, Alexander, Chadha, Ritu

Year:

2008

Language:

english

File:

PDF, 143 KB

english, 2008

45

[IEEE 2008 IEEE Workshop on Policies for Distributed Systems and Networks - POLICY - Palisades, NY, USA (2008.06.2-2008.06.4)] 2008 IEEE Workshop on Policies for Distributed Systems and Networks - DRAMA: Distributed Policy Management for MANETs

Chadha, Ritu, Chiang, Cho-Yu Jason

Year:

2008

Language:

english

File:

PDF, 163 KB

english, 2008

46

[IEEE 2010 International Conference on Network and Service Management (CNSM) - Niagara Falls, ON, Canada (2010.10.25-2010.10.29)] 2010 International Conference on Network and Service Management - Application of time series analysis to fault management in MANETs

Sapello, Angelo, Sethi, Adarsh, Nodine, Marian, Chadha, Ritu

Year:

2010

Language:

english

File:

PDF, 536 KB

english, 2010

47

[IEEE 2013 9th International Conference on Network and Service Management (CNSM) - Zurich, Switzerland (2013.10.14-2013.10.18)] Proceedings of the 9th International Conference on Network and Service Management (CNSM 2013) - Reliability estimation in mobile ad hoc networks

Chadha, Ritu, Poylisher, Alexander, Serban, Constantin

Year:

2013

Language:

english

File:

PDF, 481 KB

english, 2013

48

[IEEE Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07) - Bologna, Italy (2007.06.13-2007.06.15)] Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07) - On Automated Policy Generation for Mobile Ad Hoc Networks

Chiang, Cho-Yu J., Levin, Gary, Gottlieb, Yitzchak M., Chadha, Ritu, Li, Shihwei, Poylisher, Alex, Newman, Scott, Lo, Richard

Year:

2007

Language:

english

File:

PDF, 266 KB

english, 2007

49

Sophisticated Access Control via SMT and Logical Frameworks

Arkoudas, Konstantine, Chadha, Ritu, Chiang, Jason

Journal:

ACM Transactions on Information and System Security

Year:

2014

Language:

english

File:

PDF, 786 KB

english, 2014

50

[ACM Press the 15th ACM international conference - Paphos, Cyprus (2012.10.21-2012.10.25)] Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems - MSWiM '12 - TimeSync

Sultan, Florin, Poylisher, Alex, Lee, John, Serban, Constantin, Chiang, C. Jason, Chadha, Ritu, Whittaker, Keith, Scilla, Chris, Ali, Syeed

Year:

2012

Language:

english

File:

PDF, 616 KB

english, 2012

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски